Automatic Generation of Object Usage Specifications from Large Method Traces

Source URL: mp.binaervarianz.de

• Software engineering
• Computing
• Computer programming
• Object-oriented programming languages
• Programming paradigms
• Concurrent programming languages
• Functional languages
• Aspect-oriented software development
• Runtime verification
• Objective-C
• Iterator
• Java

open issues in Dataflow HEATHER MILLER

Source URL: heather.miller.am

• Concurrent programming languages
• Computer architecture
• Parallel computing
• Programming paradigms
• Dataflow
• Concurrent computing
• Futures and promises
• Oz

C o n n e c t i n g G re a t M i n d s

Source URL: www.cin.ufpe.br

• Reasoning
• Deductive reasoning
• Programming paradigms
• Artificial intelligence
• Automated theorem proving
• Reasoning system
• Mathematical logic
• Knowledge representation and reasoning
• Computer science
• Logic programming
• Inference
• Natural deduction

Programming with Multiple Paradigms in Lua Roberto Ierusalimschy PUC-Rio, Rio de Janeiro, Brazil Abstract. Lua is a scripting language used in many industrial applications, with an emphasis on emb

Source URL: www.inf.puc-rio.br

DOC Document

Source URL: www.capsl.udel.edu

• Computing
• Computer programming
• Software engineering
• Concurrent programming languages
• Programming paradigms
• Guang Gao
• Parallel computing
• Actor model
• International Parallel and Distributed Processing Symposium
• International Conference on Parallel and Distributed Systems
• Dataflow programming
• Computer architecture

PDF Document

Source URL: www.cogsys.wiai.uni-bamberg.de

• Programming paradigms
• Artificial intelligence
• Software engineering
• Cognitive science
• Machine learning
• Theoretical computer science
• Inductive programming
• Logic programming
• Recursion
• Algorithm
• Inductive reasoning
• Data mining

McCormick Northwestern Engineering Department of Electrical Engineering and Computer Science EECS 211(B) – Object-Oriented Programming with C++ Winter 2012 Quarter Instructor: Goce Trajcevski

Source URL: www.ece.northwestern.edu

• Object-oriented programming
• Cross-platform software
• Procedural programming languages
• Scripting languages
• Programming paradigms
• C++
• Programming language
• C
• D
• Software engineering
• Computing
• Computer programming

Used Software by R. P. Gabriel Lucid, Inc. 1. A Story The student looked out the window and wondered how to speed up his program. He

Source URL: www.dreamsongs.com

• Programming paradigms
• Functional languages
• Procedural programming languages
• Lisp programming language
• Cross-platform software
• Lisp
• Programming language
• Object-oriented programming
• Computer program
• Computing
• Software engineering
• Computer programming

SAMPLE CHAPTER DEEP DIVES EDITORS Tomas Petricek Phillip Trelford ●

Source URL: manning.com

• Functional languages
• Object-oriented programming
• Software development methodology
• MATLAB
• Programming language
• Functional programming
• Computer programming
• Geographic information system
• Linear programming
• Software
• Computing
• Programming paradigms

Out of Many, One: Unifying Web-Extracted Knowledge Bases Sameer Singh Computer Science and Engineering University of Washington Seattle, WA, 98195

Source URL: www.akbc.ws

• Data modeling
• Programming paradigms
• Data
• Database management systems
• Statistical relational learning
• Conjunctive query
• Database schema
• Information extraction
• Data model
• Database theory
• Data management
• Statistics